-
1 arithmetic formula
Большой англо-русский и русско-английский словарь > arithmetic formula
-
2 arithmetic formula
Математика: арифметическая формула -
3 arithmetic formula
-
4 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
5 арифметическая формула
Большой англо-русский и русско-английский словарь > арифметическая формула
-
6 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
7 undecidable
неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно неразрешимая теория nonessentially undecidable theor ≈ несущественно неразрешимая теория recursively undecidable theor ≈ рекурсивно неразрешимая теория strongly undecidable structure ≈ строго неразрешимая структура - effectively undecidable - essentially undecidable - hereditarity undecidable - strongly undecidable - undecidable arithmetic - undecidable formula - undecidable predicate - undecidable problem - undecidable proposition - undecidable relation - undecidable sentence - undecidable structure - undecidable system - undecidable theor НеразрешимоБольшой англо-русский и русско-английский словарь > undecidable
См. также в других словарях:
Arithmetic logic unit — schematic symbol Cascadable 8 … Wikipedia
Arithmetic function — In number theory, an arithmetic (or arithmetical) function is a real or complex valued function ƒ(n) defined on the set of natural numbers (i.e. positive integers) that expresses some arithmetical property of n. [1] An example of an arithmetic… … Wikipedia
Arithmetic progression — In mathematics, an arithmetic progression or arithmetic sequence is a sequence of numbers such that the difference of any two successive members of the sequence is a constant. For instance, the sequence 3, 5, 7, 9, 11, 13... is an arithmetic… … Wikipedia
Arithmetic derivative — In number theory, the arithmetic derivative, or number derivative, is a function defined for integers, based on prime factorization, by analogy with the product rule for the derivative of a function that is used in mathematical analysis. Contents … Wikipedia
Formula calculator — A formula calculator is a software calculator that can perform a calculation in two steps:1. Type in a formula from the keyboard. 2. Press a single button or key to see the formula’s value. [Formula Calculators Pty Ltd [home page on the Internet] … Wikipedia
Formula for primes — In mathematics, a formula for primes is a formula generating the prime numbers, exactly and without exception. No easily computable such formula is known. A great deal is known about what, more precisely, such a formula can and cannot be.Prime… … Wikipedia
Arithmetic precision — The precision of a value describes the number of digits that are used to express that value. In a scientific setting this would be the total number of digits (sometimes called the significant figures or significant digits) or, less commonly, the… … Wikipedia
Arithmetic genus — In mathematics, the arithmetic genus of an algebraic variety is one of some possible generalizations of the genus of an algebraic curve or Riemann surface.The arithmetic genus of a complex manifold of dimension n can be defined as a combination… … Wikipedia
Magic formula — For the general concept, see Magical formula. In Swiss politics, the magic formula (German: Zauberformel, French: formule magique, Italian: formula magica) is an arithmetic formula for dividing the seven executive seats of the Swiss Federal… … Wikipedia
Closed-form formula — A single arithmetic formula obtained to simplify an infinite sum in a general formula. The general formula of bond duration and bond convexity cannot be said closed form as there is an infinite sum over the different time periods. Using a closed… … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia